e <c e' == e e,e'. e <loc e'  isrcv(kind(e')) & e = sender(e')^+ e' 

latex

---

clarification:

w-causl(w; e; e')
== e 
== rel_plus(w-E(w); (e,e'. w-locl(w; e; e')  isrcv(w-ekind(w; e')) & e = w-sender(w; e')  w-E(w))
== rel_plus() e' 

latex

Definitions	e <c e', x f y, R^+, P  Q, e <loc e', A & B, b, isrcv(k), kind(e), E, sender(e)
FDL editor aliases	w-causl